941. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
942. Theoretical aspects of object-oriented programming : types, semantics, and language design
Author: edited by Carl A. Gunter and John C. Mitchell
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
Classification :
QA
76
.
64
.
T4
943. Theory of Cryptography
Author: \ Björn Franke (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلرها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه نویسی ,مهندسی نرم افزار
Classification :
QA76
.
76
.
T46
2015
E-Book
,
944. Thinking in LINQ :
Author: Sudipta Mukherjee
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Query languages (Computer science)
Classification :
QA76
.
7
945. Threaded interpretive languages: their desing and implementation
Author: Loeliger, R. G
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
Classification :
QA
76
.
7
.
L63
946. Time-shared computer languages: an introduction to conversational computing
پدیدآورنده : Schur, Lee David
موضوع : ، Programming languages )Electronic computers(,، Time-sharing computer systems
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
947. Towards a formal description of Ada
Author: edited by D. Bjorner and O.N. Oest
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
L4
v
.
98
948. Towards a formal description of Ada
Author: edited by D. Bjørner and O.N. Oest.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
73
.
A35
E358
1980
949. Translating relational queries into iterative programs
Author: Freytag, Johann Christoph, 4591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Relational databases,، Computer programming,، Functional programming languages
Classification :
QA
76
.
L28
Vol
.
261
950. Translating relational queries into iterative programs.
Author: Johann Christoph Freytag
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Functional programming languages.,Relational databases.
951. Trees in Algebra and Programming - CAAP '96 :
Author: edited by Hélène Kirchner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers)
Classification :
QA166
.
2
E358
1996
952. Turbo C++ suite.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software.,Compilers (Computer programs),Programming languages (Electronic computers)
Classification :
QA76
.
73
.
C153
T873
1998
953. Turbo Pascal
Author: / [computer file]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
Classification :
QA76
,.
73
.
P21
1990
954. Turbo Pascal
Author: / [computer file]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
Classification :
QA76
,.
73
.
P22
1990
955. Turbo Pascal
Author: / [computer file]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
Classification :
QA76
,.
73
.
P23
1990
956. Turbo Pascal
Author: / [computer file]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
Classification :
QA76
,.
73
.
P2
1990
957. Turbo Pascal
Author:
Library: (Semnan)
Subject: ، Programming languages )Computer(
Classification :
QA
76
.
73
.
T63
958. Turbo Pascal
Author:
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Object-oriented programming )Computer science(- Software,، Compilers )Computer programs(- Software,، Programming languages )Electronic computers(- Software
Classification :
QA
76
.
73
.
P2
959. Turbo Pascal : Library reference
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Turbo Pascal )computer file(,، Programming languages )Electronic computers( -- Software
Classification :
QA
76
.
73
.
P2T86
960. Turbo Pascal. ]User's guide, Programmer's guide,Turbo vision guide[
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Object - oriented programming )Computer science( - Software,، Compilers )Computer programs( - Software,، Programming languages )Electronic computers( - Software
Classification :
QA
76
.
73
.
P2
1990
